../mpn/x86_64/divrem_1.asm